A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals
نویسندگان
چکیده
In this paper, we introduce a modified Van der Waerden algorithm to decompose a variety into the union of irreducible varieties. We give an effective representation for irreducible varieties obtained by the algorithm, which allows us to obtain an irredundant decomposition easily. We show that in the zero dimensional case, the polynomial systems for the irreducible varieties obtained in the Van der Waerden algorithm are prime ideals. As a consequence, we have an algorithm to decompose the radical ideal generated by a finite set of polynomials as the intersection of prime ideals and the degree of the polynomials in the computation is bounded by O(dn) where d is the degree of the input polynomials and n is the number of variables.
منابع مشابه
Rough ideals based on ideal determined varieties
The paper is devoted to concern a relationship between rough set theory and universal algebra. Notions of lower and upper rough approximations on an algebraic structure induced by an ideal are introduced and some of their properties are studied. Also, notions of rough subalgebras and rough ideals with respect to an ideal of an algebraic structure, which is an extended notion of subalgebras and ...
متن کاملIndependent Sets from an Algebraic Perspective
In this paper, we study the basic problem of counting independent sets in a graph and, in particular, the problem of counting antichains in a finite poset, from an algebraic perspective. We show that neither independence polynomials of bipartite Cohen-Macaulay graphs nor Hilbert series of initial ideals of radical zero-dimensional complete intersections ideals, can be evaluated in polynomial ti...
متن کاملCombinatorial Proofs of the Polynomial Van Der Waerden Theorem and the Polynomial Hales–jewett Theorem
The case with a single polynomial was proved by Furstenberg [3] and Sarkozy [5] (independently). It is easy to see that this generalises van der Waerden’s theorem, which we can recover by setting p i (x) ̄ ix for 1% i%m. Bergelson and Leibman also proved a stronger result. They showed that if AZ . has positive upper density, then there exist a and d such that all the points a and ap i (d ) are ...
متن کاملA New Proof of Hilbert's Nullstellensatz
Introduction. A number of proofs of Hubert 's Nullstellensatz can be found in the literature. One, based on elimination theory and due to A. Rabinowitsch, is reproduced in van der Waerden's Moderne Algebra, vol. 2, p. 11. In a later chapter van der Waerden gives another proof which is based on the method of specialization in fields of algebraic functions (pp. 59-61). The finishing touches to th...
متن کاملRemarks on the Cayley–van Der Waerden–chow Form
It is known that a variety in projective space is uniquely determined by its Cayley–van der Waerden–Chow form. An algebraic formulation and a proof (for an arbitrary base field) of this classical result are given in view of applications to the Stückrad–Vogel intersection cycle.
متن کامل